-
1 predicate calculus machinery
English-Russian big polytechnic dictionary > predicate calculus machinery
-
2 predicate calculus machinery
Механика: аппарат исчисления предикатовУниверсальный англо-русский словарь > predicate calculus machinery
-
3 predicate calculus machinery
Англо-русский словарь по машиностроению > predicate calculus machinery
-
4 predicate calculus machinery
Англо-русский словарь по робототехнике > predicate calculus machinery
-
5 predicate calculus
The English-Russian dictionary general scientific > predicate calculus
-
6 higher predicate calculus
The English-Russian dictionary general scientific > higher predicate calculus
-
7 several-sorted predicate calculus
The English-Russian dictionary general scientific > several-sorted predicate calculus
-
8 restricted predicate calculus
The English-Russian dictionary general scientific > restricted predicate calculus
-
9 calculus
1. n мат. исчисление2. n калькуляция3. n мед. камень -
10 calculus
-
11 predicate
предикат, высказывание, утверждать
– predicate calculus
– predicate calculus machinery
– predicate logic language
– predicate symbol
– predicted result
-
12 machinery
1. n механизмы; машины; оборудование2. n детали машины3. n механизм, структура4. n аппаратwe need the machinery to introduce these reforms — чтобы ввести эти реформы, нужно создать особый аппарат
Синонимический ряд:1. devices (noun) artifices; contrivances; devices; means; method; plans; shifts2. equipment (noun) accouterments; apparatus; appliances; contraption; device; engine; equipment; gadget; gear; habiliments; implements; machines; material; materials; materiel; mechanisms; outfit; paraphernalia; tackle; tackling; tools -
13 sameness predicate
English-Russian big polytechnic dictionary > sameness predicate
-
14 choice predicate
English-Russian big polytechnic dictionary > choice predicate
-
15 negated predicate
English-Russian big polytechnic dictionary > negated predicate
-
16 differential calculus
-
17 index calculus
-
18 matrix calculus
-
19 predicative calculus
-
20 propositional calculus
пропозициональное исчисление; исчисление высказываний
См. также в других словарях:
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Alan Turing — Turing redirects here. For other uses, see Turing (disambiguation). Alan Turing Turing at the time of his election to Fellowship of the Royal Society … Wikipedia
Edsger W. Dijkstra — Edsger Wybe Dijkstra Born May 11, 1930(1930 05 11) Rotterdam, Netherl … Wikipedia
Ludwig Wittgenstein — Wittgenstein redirects here. For other uses, see Wittgenstein (disambiguation). Ludwig Wittgenstein Photographed by Ben Richards Swansea, Wales, 1947 Born 26 April 1889 … Wikipedia
Propaganda — This article is about the form of communication. For other uses, see Propaganda (disambiguation). French Military Propaganda postcard showing a caricature of Kaiser Wilhelm II biting the world (c. 1915) … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
I.A. — Intelligence artificielle Pour les articles homonymes, voir A.I. Intelligence artificielle (film),IA. Le robot humanoïde ASIMO … Wikipédia en Français
Intelligence Artificielle — Pour les articles homonymes, voir A.I. Intelligence artificielle (film),IA. Le robot humanoïde ASIMO … Wikipédia en Français
Intelligence artificielle — Pour les articles homonymes, voir A.I. Intelligence artificielle (film), IA. Le robot humanoïde ASIMO L intelligence artificielle est la … Wikipédia en Français
Ronald Fagin — Infobox Scientist name = Ronald Fagin birth place = Oklahoma, OK, USA residence = Los Gatos, California nationality = American field = Logic in Computer Science, Database theory, Finite model theory, Reasoning about knowledge work institution =… … Wikipedia
Ontology engineering — Example of a constructed MBED Top Level Ontology based on the Nominal set of views.[1] Ontology engineering in computer science and information science is a new field, which studies the methods and methodologies for building ontologies: formal… … Wikipedia